
\begin{tikzpicture}[>=latex,line join=bevel,]
  \pgfsetlinewidth{1bp}
%%
\pgfsetcolor{black}
  % Edge: (2,2) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (203.15bp,254.46bp) .. controls (201.09bp,243.9bp) and (198.37bp,229.95bp)  .. (194.07bp,207.84bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (183.58bp,239.16bp) node {call};
  % Edge: (4,8)(4,11) -> (4,10)
  \draw [->] (228.67bp,193.44bp) .. controls (261.23bp,192.04bp) and (307.87bp,187.69bp)  .. (349.91bp,181.47bp);
  \draw (284.19bp,178.24bp) node {a};
  % Edge: (4,6) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (44.397bp,141.16bp) .. controls (68.805bp,152.83bp) and (113.28bp,170.06bp)  .. (156.44bp,184.31bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (100.62bp,147.18bp) node {call};
  % Edge: (2,3) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (238.86bp,165.63bp) .. controls (238.28bp,164.36bp) and (222.26bp,167.43bp)  .. (209.93bp,176.83bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (234.03bp,170.08bp) node {call};
  % Edge: (4,12) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (401.39bp,30.569bp) .. controls (362.08bp,60.594bp) and (265.07bp,134.69bp)  .. (209.76bp,176.94bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (299.56bp,87.711bp) node {call};
  % Edge: (4,9) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (131.06bp,53.579bp) .. controls (142.53bp,80.01bp) and (165.66bp,133.31bp)  .. (183.71bp,174.9bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (139.31bp,116.45bp) node {call};
  % Edge: (4,12) -> (2,13)
  \pgfsetcolor{red}
  \draw [->] (390.87bp,20.166bp) .. controls (365.09bp,22.652bp) and (326.42bp,26.382bp)  .. (287.71bp,30.117bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (343.32bp,11.656bp) node {ret: (2,4)};
  % Edge: (2,13) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (252.86bp,48.88bp) .. controls (240.94bp,76.281bp) and (216.58bp,132.26bp)  .. (198.08bp,174.78bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (243.53bp,114.1bp) node {call};
  % Edge: (4,10) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (347.1bp,171.86bp) .. controls (316.93bp,172.62bp) and (268.62bp,176.83bp)  .. (223.77bp,182.95bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (290.39bp,187.7bp) node {call};
  % Edge: (4,9) -> (2,13)
  \pgfsetcolor{red}
  \draw [->] (149.38bp,36.801bp) .. controls (169.58bp,36.07bp) and (198.27bp,35.032bp)  .. (231.51bp,33.829bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (185.36bp,23.499bp) node {ret: (2,4)};
  % Edge: (4,8)(4,11) -> (4,6)
  \draw [->] (168.7bp,177.77bp) .. controls (140.96bp,164.97bp) and (93.21bp,146.81bp)  .. (50.805bp,133.55bp);
  \draw (110.73bp,169.17bp) node {b};
  % Edge: (2,2) -> (2,4)
  \draw [->] (189.45bp,258.78bp) .. controls (177.11bp,249.91bp) and (160.16bp,237.71bp)  .. (137.95bp,221.73bp);
  \draw (160.82bp,253.23bp) node {a};
  % Edge: (2,4) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (144.12bp,203.39bp) .. controls (145.38bp,203.07bp) and (146.65bp,202.74bp)  .. (158.02bp,199.82bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (146.03bp,192.9bp) node {call};
  % Edge: (2,13) -> (2,3)
  \draw [->] (257.52bp,49.32bp) .. controls (254.59bp,70.013bp) and (249.55bp,105.57bp)  .. (244.83bp,138.85bp);
  \draw (262.88bp,90.076bp) node {a};
  % Edge: (4,10) -> (4,12)
  \draw [->] (379.7bp,157.78bp) .. controls (387.2bp,130.69bp) and (402.19bp,76.492bp)  .. (413.88bp,34.231bp);
  \draw (406.44bp,103.87bp) node {a};
  % Edge: (4,6) -> (4,9)
  \draw [->] (40.912bp,116.01bp) .. controls (57.07bp,100.82bp) and (83.458bp,76.001bp)  .. (109.7bp,51.322bp);
  \draw (62.553bp,77.197bp) node {b};
  % Edge: (4,8)(4,11) -> (4,8)(4,11)
  \pgfsetcolor{green}
  \draw [->] (225.59bp,198.12bp) .. controls (237.38bp,198.16bp) and (246.86bp,195.91bp)  .. (246.86bp,191.37bp) .. controls (246.86bp,188.26bp) and (242.38bp,186.22bp)  .. (225.59bp,184.62bp);
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (260.86bp,191.37bp) node {call};
  % Edge: (2,2)__precursor__ -> (2,2)
  \draw [->] (204.97bp,328.31bp) .. controls (205.19bp,319.09bp) and (205.47bp,307.74bp)  .. (205.95bp,287.55bp);
  % Node: (2,2)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (206bp,271bp) ellipse (21bp and 13bp);
  \draw (206bp,271bp) ellipse (25bp and 17bp);
  \draw (206.36bp,270.95bp) node {(2,2)};
\end{scope}
  % Node: (4,8)(4,11)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (191bp,191bp) ellipse (34bp and 13bp);
  \draw (191bp,191bp) ellipse (38bp and 17bp);
  \draw (190.86bp,191.37bp) node {(4,8)(4,11)};
\end{scope}
  % Node: (2,3)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (243bp,152bp) ellipse (21bp and 13bp);
  \draw (243.03bp,151.59bp) node {(2,3)};
\end{scope}
  % Node: (4,6)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (27bp,130bp) ellipse (21bp and 13bp);
  \draw (27bp,130bp) ellipse (25bp and 17bp);
  \draw (26.5bp,129.56bp) node {(4,6)};
\end{scope}
  % Node: (2,4)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (121bp,209bp) ellipse (21bp and 13bp);
  \draw (121bp,209bp) ellipse (25bp and 17bp);
  \draw (120.79bp,209.39bp) node {(2,4)};
\end{scope}
  % Node: (4,10)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (375bp,174bp) ellipse (24bp and 13bp);
  \draw (375bp,174bp) ellipse (28bp and 17bp);
  \draw (375.15bp,174.26bp) node {(4,10)};
\end{scope}
  % Node: (4,9)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (124bp,38bp) ellipse (21bp and 13bp);
  \draw (124bp,38bp) ellipse (25bp and 17bp);
  \draw (124.17bp,37.713bp) node {(4,9)};
\end{scope}
  % Node: (4,12)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (419bp,18bp) ellipse (24bp and 13bp);
  \draw (419bp,18bp) ellipse (28bp and 17bp);
  \draw (418.5bp,17.5bp) node {(4,12)};
\end{scope}
  % Node: {}
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (309bp,274bp) ellipse (16bp and 13bp);
  \draw (309bp,274bp) ellipse (20bp and 17bp);
  \draw (309bp,273.5bp) node {\{\}};
\end{scope}
  % Node: (2,13)
\begin{scope}
  \definecolor{strokecol}{rgb}{0.0,0.0,0.0};
  \pgfsetstrokecolor{strokecol}
  \draw (260bp,33bp) ellipse (24bp and 13bp);
  \draw (260bp,33bp) ellipse (28bp and 17bp);
  \draw (259.86bp,32.803bp) node {(2,13)};
\end{scope}
%
\end{tikzpicture}
